Derivative of tanx by first principle